Search Results

Search Results for: Akhtar

Results: 140-142 of 142

A Situational Requirement Engineering Model for an Agile Process

Journal:Bahria University Journal of Information & Communication Technology, 2015, Volume 8, Issue No 1

Author(s): Khush Bakhat, Amber Sarwar, Yasir Hafeez Motla, Muhammad Akhtar

Keyword(s): Extreme programming (XP), Grounded Theory, Scrum, Situational Method Engineering (SME)

Formal modeling and proving of Campus Management System: Event-B perspective

Journal:Bahria University Journal of Information & Communication Technology, 2017, Volume 10, Issue No 2

Author(s): Nadeem Akhtar, Malik M. Saad Missen, Rida Zahra Hashmi

Keyword(s): Campus Management System (CMS), Event-B, Formal modeling, Formal validation, Theorem Proving, RODIN

Results: 140-142 of 142

Category

Year

Journal

Close